A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis
نویسندگان
چکیده
منابع مشابه
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis
Article history: Received 10 April 2015 Received in revised form 9 August 2016 Accepted 16 August 2016 Available online 24 August 2016 Communicated by D. Sannella
متن کاملSequential ASM Thesis
The thesis is that every sequential algorithm, on any level of abstraction, can be viewed as a sequential abstract state machine [Gurevich 1985, 1991]. Abstract state machines (ASMs) used to be called evolving algebras. The sequential ASM thesis and its extensions [Gurevich 1995] inspired diverse applications of ASMs. The early applications were driven, at least partially, by the desire to test...
متن کاملThesis Proposal Responsive Parallel Computation
Multicore processors are becoming increasingly prevalent, blurring the lines between traditional parallel programs, which use cooperative threading to reduce execution time, and interactive programs which use competitive threading to increase responsiveness. To assist programmers in developing this new class of responsive parallel programs which use threads for both of these purposes, I propose...
متن کاملOn the parallel computation thesis
We develop a generic programming language for parallel algorithms, one that works for all data structures and control structures. We show that any parallel algorithm satisfying intuitively-appealing postulates can be modeled by a collection of cells, each of which is an abstract state machine, augmented with the ability to spawn new cells. The cells all run the same algorithm and communicate vi...
متن کاملA Customised ASM Thesis for Database Transformations
Database transformations consist of queries and updates which are two fundamental types of computations in all databases the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. With the rising popularity of webbased applications and service-oriented architectures, database queries and updates become closely r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2016
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2016.08.013